Explaining and Justifying

Explaining and Justifying Expert Consulting Programs

Abst rac t Traditional methods for explaining programs provide explanations by converting to English the code of the program or traces of the execution of that code While such methods can provide adequate explanations of what the program does or did, they typically cannot provide justifications of the code without resorting to canned-text explanations. That is, such systems cannot tell why what...

Explaining and Justifying Recommendations in an Agriculture Decision Support System

Greer, J. E., Sarah Falk, K. J. Greer, and M. J. Bentham. 1993. Explaining and justifying recommendations in an agriculture decision support system. Comput. Electron. Agric. Agricultural decision support systems are not being readily accepted by all potential users. This paper discusses the reasons for this lack of user acceptance and proposes a method for rectifying this problem. The method is...

Justifying Induction and Altruism

Justifying and Exploring Realistic Monism

The foundations of mathematics and physics no longer start with fundamental entities and their properties like spatial extension, points, lines or the billiard ball like particles of Newtonian physics. Mathematics has abolished these from its foundations in set theory by making all assumptions explicit and structural. Particle physics has become completely mathematical, connecting to physical r...

Justifying Equality

We consider the problem of finding irredundant bases for inconsistent sets of equalities and disequalities. These are subsets of inconsistent sets which do not contain any literals which do not contribute to the unsatisfiability in an essential way, and can therefore be discarded. The approach we are pursuing here is to decorate derivations with proofs and to extract irredundant sets of assumpt...